let rho = ((x, ())) => x;
